You have chosen The Really Hard Problem, A Completeness Theorem in Modal Logic and A Completeness Theorem in Modal Logic.
All three must be different; choose another text.